#!/usr/bin/env python
from pydsl import *

"""
Now we can use all the python for code generation
"""
@state
def search():
    for i in range(1,6):
        flip(0,next, go(i, next))
    flip(0,search,search)

@state
def go(marker, cps):
    mark(marker, next)
    move(cps, cps)

if __name__ == '__main__':
    search()
    for line in Program.output():
        print line

